import random
print("100000 100000 10000")
for i in range(0, 10000):
    print("%d %d %d %d" % (random.randrange(0, 90000), random.randrange(1, 10000), i * 100000, random.randrange(1, 1000000000)))
